<?php


echo (int) 012;
	
?>